Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.

логическая семантика

Энциклопедический словарь

Логи́ческая сема́нтика - теория, изучающая вопросы интерпретации логических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.

* * *

ЛОГИЧЕСКАЯ СЕМАНТИКА - ЛОГИ́ЧЕСКАЯ СЕМА́НТИКА, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.

Большой энциклопедический словарь

ЛОГИЧЕСКАЯ СЕМАНТИКА - теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.

Полезные сервисы